#ifndef WEREPRINCESS_H
#define WEREPRINCESS_H
#include <string>
#include "typedef.h"
#include "piped_process.h"
#include "PrincessFormulaParser.h"
//#include "typedef2.h"
#include "i2string.h"

std::string CombineExpr2String(vector<Prop*> v_p);
Prop* TwoPropfindInterpolant(vector<Prop*>);
Prop* InterpolantInterface(Prop*, Prop*, piped_processt&);
#endif
